a, b:. ((a)  (b))  (a = b) 

latex

Up	bool 1, bool 1
Definitions	t  T, P  Q, x:A. B(x), True, ff, P & Q, if b then t else f fi , tt, Unit, b, P  Q, , P  Q, False, ,
Lemmas	bool wf, assert wf, iff wf, bfalse wf, btrue wf